Subspaces,angles and pairs of orthogonal projections

We give a new proof for the Wedin theorem on the simultaneous unitary similarity transformation of two orthogonal projections and show that it is equivalent to Halmos' theorem on the unitary equivalence of projection pairs. As a consequence of these theorems, we derive several results on pairs of orthogonal projections, relative subspace positions and oblique projections as well.     

Strongly Involutory Functors

Let 𝒞 be an arbitrary category. We study strongly involutory functors on 𝒞, defined as involutory contravariant endofunctors of 𝒞 acting as identity on objects. Motivating examples can be constructed if we think at the transpose of a matrix, the adjoint of a linear continuous operator between two Hilbert spaces, and the inverse of a morphism in a groupoid. We show how a strongly involutory functor on a skeleton of 𝒞 extends to 𝒞, and we apply this to find all such functors for a groupoid. We describe and classify up to a natural equivalence all strongly involutory functors on the category of finite dimensional vector spaces over a field. Strongly involutory functors with a special property related to generalized inverses of morphisms are studied.     

关于正则余剩余格与对合BCK-格

进一步研究了余剩余格的一些性质,在此基础上证明了正则余剩余格与对合BCK-格是两个等价的代数系统。所得结果将有助于深入了解正则余剩余格的代数结构,也为相关多值逻辑系统的研究提供又一途径。